منابع مشابه
Effective λ-models versus recursively enumerable λ-theories
A longstanding open problem is whether there exists a non-syntactical model of the untyped λ-calculus whose theory is exactly the least λ-theory λβ . In this paper we investigate the more general question of whether the equational/order theory of a model of the untyped λ-calculus can be recursively enumerable (r.e. for brevity). We introduce a notion of effective model of λ-calculus, which cove...
متن کاملΛ + c − Λ − c production asymmetries in two component models
Experiments on charm hadroproduction have shown a substantial difference in the production of charm and anticharm hadrons. In this work we study Λ+ c and Λ c inclusive production in p−N interactions in the framework of two component models. We show that the recombination two component model gives a qualitatively and quantitatively good description of Λ c production while the intrinsic charm mod...
متن کاملBehavioural Inverse Limit λ-Models
We construct two inverse limit λ-models which completely characterise sets of terms with similar computational behaviours: the sets of normalising, head normalising, weak head normalising λ-terms, those corresponding to the persistent versions of these notions, and the sets of closable, closable normalising, and closable head normalising λ-terms. More precisely, for each of these sets of terms ...
متن کاملCategorical Models of Constructive Logic
The issues raised in (1) are typically dealt with by proof theory whereas those raised in (2) are best treated via the methods of Categorical Logic and that’s what these lectures are about: in other words the model theory of constructive logic. However, its flavour will be very different from classical model theory. The essential difference is that for the purposes of constructive logic we can ...
متن کاملDynamical Λ Models of Structure Formation
Models of structure formation with a cosmological constant Λ provide a good fit to the observed power spectrum of galaxy clustering. However, they suffer from several problems. Theoretically, it is difficult to understand why the cosmological constant is so small in Planck units. Observationally, while the power spectra of cold dark matter plus Λ models have approximately the right shape, the C...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1992
ISSN: 0022-4049
DOI: 10.1016/0022-4049(92)90054-j